Optimal. Leaf size=91 \[ -\frac {7 (2+3 x)^{1+m}}{243 (1+m)}+\frac {107 (2+3 x)^{2+m}}{243 (2+m)}-\frac {185 (2+3 x)^{3+m}}{81 (3+m)}+\frac {1025 (2+3 x)^{4+m}}{243 (4+m)}-\frac {250 (2+3 x)^{5+m}}{243 (5+m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 91, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.050, Rules used = {78}
\begin {gather*} -\frac {7 (3 x+2)^{m+1}}{243 (m+1)}+\frac {107 (3 x+2)^{m+2}}{243 (m+2)}-\frac {185 (3 x+2)^{m+3}}{81 (m+3)}+\frac {1025 (3 x+2)^{m+4}}{243 (m+4)}-\frac {250 (3 x+2)^{m+5}}{243 (m+5)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 78
Rubi steps
\begin {align*} \int (1-2 x) (2+3 x)^m (3+5 x)^3 \, dx &=\int \left (-\frac {7}{81} (2+3 x)^m+\frac {107}{81} (2+3 x)^{1+m}-\frac {185}{27} (2+3 x)^{2+m}+\frac {1025}{81} (2+3 x)^{3+m}-\frac {250}{81} (2+3 x)^{4+m}\right ) \, dx\\ &=-\frac {7 (2+3 x)^{1+m}}{243 (1+m)}+\frac {107 (2+3 x)^{2+m}}{243 (2+m)}-\frac {185 (2+3 x)^{3+m}}{81 (3+m)}+\frac {1025 (2+3 x)^{4+m}}{243 (4+m)}-\frac {250 (2+3 x)^{5+m}}{243 (5+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 75, normalized size = 0.82 \begin {gather*} \frac {1}{243} (2+3 x)^{1+m} \left (-\frac {7}{1+m}+\frac {107 (2+3 x)}{2+m}-\frac {555 (2+3 x)^2}{3+m}+\frac {1025 (2+3 x)^3}{4+m}-\frac {250 (2+3 x)^4}{5+m}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 5 vs. order
3.
time = 0.11, size = 101, normalized size = 1.11
method | result | size |
meijerg | \(27 \,2^{m} x \hypergeom \left (\left [1, -m \right ], \left [2\right ], -\frac {3 x}{2}\right )+81 \,2^{-1+m} x^{2} \hypergeom \left (\left [2, -m \right ], \left [3\right ], -\frac {3 x}{2}\right )-15 \,2^{m} x^{3} \hypergeom \left (\left [3, -m \right ], \left [4\right ], -\frac {3 x}{2}\right )-325 \,2^{-2+m} x^{4} \hypergeom \left (\left [4, -m \right ], \left [5\right ], -\frac {3 x}{2}\right )-25 \,2^{1+m} x^{5} \hypergeom \left (\left [5, -m \right ], \left [6\right ], -\frac {3 x}{2}\right )\) | \(101\) |
gosper | \(-\frac {\left (2+3 x \right )^{1+m} \left (6750 m^{4} x^{4}+8775 m^{4} x^{3}+67500 m^{3} x^{4}+1215 m^{4} x^{2}+78525 m^{3} x^{3}+236250 m^{2} x^{4}-2187 m^{4} x -2970 m^{3} x^{2}+251775 m^{2} x^{3}+337500 m \,x^{4}-729 m^{4}-30051 m^{3} x -44865 m^{2} x^{2}+337275 m \,x^{3}+162000 x^{4}-8748 m^{3}-121833 m^{2} x -95580 m \,x^{2}+155250 x^{3}-33183 m^{2}-188589 x m -54900 x^{2}-49620 m -94620 x -24400\right )}{81 \left (m^{5}+15 m^{4}+85 m^{3}+225 m^{2}+274 m +120\right )}\) | \(187\) |
risch | \(-\frac {\left (20250 m^{4} x^{5}+39825 m^{4} x^{4}+202500 m^{3} x^{5}+21195 m^{4} x^{3}+370575 m^{3} x^{4}+708750 m^{2} x^{5}-4131 m^{4} x^{2}+148140 m^{3} x^{3}+1227825 m^{2} x^{4}+1012500 m \,x^{5}-6561 m^{4} x -96093 m^{3} x^{2}+368955 m^{2} x^{3}+1686825 m \,x^{4}+486000 x^{5}-1458 m^{4}-86346 m^{3} x -455229 m^{2} x^{2}+387810 m \,x^{3}+789750 x^{4}-17496 m^{3}-343215 m^{2} x -756927 m \,x^{2}+145800 x^{3}-66366 m^{2}-526038 x m -393660 x^{2}-99240 m -262440 x -48800\right ) \left (2+3 x \right )^{m}}{81 \left (4+m \right ) \left (5+m \right ) \left (3+m \right ) \left (2+m \right ) \left (1+m \right )}\) | \(220\) |
norman | \(-\frac {250 x^{5} {\mathrm e}^{m \ln \left (2+3 x \right )}}{5+m}+\frac {2 \left (729 m^{4}+8748 m^{3}+33183 m^{2}+49620 m +24400\right ) {\mathrm e}^{m \ln \left (2+3 x \right )}}{81 \left (m^{5}+15 m^{4}+85 m^{3}+225 m^{2}+274 m +120\right )}-\frac {25 \left (59 m +195\right ) x^{4} {\mathrm e}^{m \ln \left (2+3 x \right )}}{3 \left (m^{2}+9 m +20\right )}-\frac {5 \left (471 m^{2}+1879 m +1620\right ) x^{3} {\mathrm e}^{m \ln \left (2+3 x \right )}}{9 \left (m^{3}+12 m^{2}+47 m +60\right )}+\frac {\left (459 m^{3}+10218 m^{2}+40363 m +43740\right ) x^{2} {\mathrm e}^{m \ln \left (2+3 x \right )}}{9 m^{4}+126 m^{3}+639 m^{2}+1386 m +1080}+\frac {\left (2187 m^{4}+28782 m^{3}+114405 m^{2}+175346 m +87480\right ) x \,{\mathrm e}^{m \ln \left (2+3 x \right )}}{27 m^{5}+405 m^{4}+2295 m^{3}+6075 m^{2}+7398 m +3240}\) | \(251\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 295 vs.
\(2 (81) = 162\).
time = 0.35, size = 295, normalized size = 3.24 \begin {gather*} -\frac {250 \, {\left (81 \, {\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} x^{5} + 54 \, {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} x^{4} - 144 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} x^{3} + 288 \, {\left (m^{2} + m\right )} x^{2} - 384 \, m x + 256\right )} {\left (3 \, x + 2\right )}^{m}}{81 \, {\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )}} - \frac {325 \, {\left (27 \, {\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} x^{4} + 18 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} x^{3} - 36 \, {\left (m^{2} + m\right )} x^{2} + 48 \, m x - 32\right )} {\left (3 \, x + 2\right )}^{m}}{27 \, {\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )}} - \frac {5 \, {\left (27 \, {\left (m^{2} + 3 \, m + 2\right )} x^{3} + 18 \, {\left (m^{2} + m\right )} x^{2} - 24 \, m x + 16\right )} {\left (3 \, x + 2\right )}^{m}}{3 \, {\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )}} + \frac {9 \, {\left (9 \, {\left (m + 1\right )} x^{2} + 6 \, m x - 4\right )} {\left (3 \, x + 2\right )}^{m}}{m^{2} + 3 \, m + 2} + \frac {9 \, {\left (3 \, x + 2\right )}^{m + 1}}{m + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 175 vs.
\(2 (81) = 162\).
time = 1.65, size = 175, normalized size = 1.92 \begin {gather*} -\frac {{\left (20250 \, {\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} x^{5} + 675 \, {\left (59 \, m^{4} + 549 \, m^{3} + 1819 \, m^{2} + 2499 \, m + 1170\right )} x^{4} - 1458 \, m^{4} + 45 \, {\left (471 \, m^{4} + 3292 \, m^{3} + 8199 \, m^{2} + 8618 \, m + 3240\right )} x^{3} - 17496 \, m^{3} - 9 \, {\left (459 \, m^{4} + 10677 \, m^{3} + 50581 \, m^{2} + 84103 \, m + 43740\right )} x^{2} - 66366 \, m^{2} - 3 \, {\left (2187 \, m^{4} + 28782 \, m^{3} + 114405 \, m^{2} + 175346 \, m + 87480\right )} x - 99240 \, m - 48800\right )} {\left (3 \, x + 2\right )}^{m}}{81 \, {\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1822 vs.
\(2 (75) = 150\).
time = 0.59, size = 1822, normalized size = 20.02 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 423 vs.
\(2 (81) = 162\).
time = 0.46, size = 423, normalized size = 4.65 \begin {gather*} -\frac {20250 \, m^{4} {\left (3 \, x + 2\right )}^{m} x^{5} + 39825 \, m^{4} {\left (3 \, x + 2\right )}^{m} x^{4} + 202500 \, m^{3} {\left (3 \, x + 2\right )}^{m} x^{5} + 21195 \, m^{4} {\left (3 \, x + 2\right )}^{m} x^{3} + 370575 \, m^{3} {\left (3 \, x + 2\right )}^{m} x^{4} + 708750 \, m^{2} {\left (3 \, x + 2\right )}^{m} x^{5} - 4131 \, m^{4} {\left (3 \, x + 2\right )}^{m} x^{2} + 148140 \, m^{3} {\left (3 \, x + 2\right )}^{m} x^{3} + 1227825 \, m^{2} {\left (3 \, x + 2\right )}^{m} x^{4} + 1012500 \, m {\left (3 \, x + 2\right )}^{m} x^{5} - 6561 \, m^{4} {\left (3 \, x + 2\right )}^{m} x - 96093 \, m^{3} {\left (3 \, x + 2\right )}^{m} x^{2} + 368955 \, m^{2} {\left (3 \, x + 2\right )}^{m} x^{3} + 1686825 \, m {\left (3 \, x + 2\right )}^{m} x^{4} + 486000 \, {\left (3 \, x + 2\right )}^{m} x^{5} - 1458 \, m^{4} {\left (3 \, x + 2\right )}^{m} - 86346 \, m^{3} {\left (3 \, x + 2\right )}^{m} x - 455229 \, m^{2} {\left (3 \, x + 2\right )}^{m} x^{2} + 387810 \, m {\left (3 \, x + 2\right )}^{m} x^{3} + 789750 \, {\left (3 \, x + 2\right )}^{m} x^{4} - 17496 \, m^{3} {\left (3 \, x + 2\right )}^{m} - 343215 \, m^{2} {\left (3 \, x + 2\right )}^{m} x - 756927 \, m {\left (3 \, x + 2\right )}^{m} x^{2} + 145800 \, {\left (3 \, x + 2\right )}^{m} x^{3} - 66366 \, m^{2} {\left (3 \, x + 2\right )}^{m} - 526038 \, m {\left (3 \, x + 2\right )}^{m} x - 393660 \, {\left (3 \, x + 2\right )}^{m} x^{2} - 99240 \, m {\left (3 \, x + 2\right )}^{m} - 262440 \, {\left (3 \, x + 2\right )}^{m} x - 48800 \, {\left (3 \, x + 2\right )}^{m}}{81 \, {\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.26, size = 313, normalized size = 3.44 \begin {gather*} {\left (3\,x+2\right )}^m\,\left (\frac {1458\,m^4+17496\,m^3+66366\,m^2+99240\,m+48800}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}-\frac {x^3\,\left (21195\,m^4+148140\,m^3+368955\,m^2+387810\,m+145800\right )}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}+\frac {x^2\,\left (4131\,m^4+96093\,m^3+455229\,m^2+756927\,m+393660\right )}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}-\frac {x^5\,\left (20250\,m^4+202500\,m^3+708750\,m^2+1012500\,m+486000\right )}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}-\frac {x^4\,\left (39825\,m^4+370575\,m^3+1227825\,m^2+1686825\,m+789750\right )}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}+\frac {x\,\left (6561\,m^4+86346\,m^3+343215\,m^2+526038\,m+262440\right )}{81\,m^5+1215\,m^4+6885\,m^3+18225\,m^2+22194\,m+9720}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________